int main(void){
		int a = 8;
		a++;
		printf("%d\n",a);
		return 0;
}
